Barcan Both Ways
نویسنده
چکیده
منابع مشابه
The Barcan Formula in Metaphysics
The Barcan formula (BF) is widely considered a threat to actualism. I show how BF can be cleared of such a charge by construing it as a bridge principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters.
متن کاملCounterpart Semantics at work: An Incompleteness Result in Quantified Modal Logic
In this paper we make use of counterpart semantics to prove an original incompleteness result in quantified modal logic (QML), that is, the system QE .K+BF based on free logic and containing the Barcan formula is incomplete with respect to Kripke semantics. This incompleteness result extends to the system QE .K+CBF+BF obtained by adding the converse of the Barcan formula to QE .K+BF .
متن کاملA General Semantics for Quantified Modal Logic
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complete semantics to the quantified extensions, both with and without the Barcan formula, of every propositional modal logic S. If S is canonical our models are based on propositional frames that validate S. We employ frame...
متن کاملA General Proof Method for Modal Predicate Logic without the Barcan Formula
We present a general proof method for normal systems of modal predicate logic with identical inference rules for each such logic. Different systems are obtained by changing the conditions under which two formulas are considered complementary. The paper extends previous work in that we are no longer confined. to models in which the Barcan formula and its converse hold. This allows the domain of ...
متن کاملFibring Modal First-Order Logics: Completeness Preservation
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of such logics, using a variation of the Henkin method that takes advantage of the presence of equality and inequality in the logic. As a corollary, completeness is shown to be preserved when fibring logics in that class...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Applied Non-Classical Logics
دوره 9 شماره
صفحات -
تاریخ انتشار 1999